DEFINITION MODULE RealInOut ;

VAR
  done : BOOLEAN ;

PROCEDURE ReadReal( VAR x : REAL ) ;
(* Read Real from keyboard according to syntax:				*)
(*   ["+"|"-"] digit {digit} [.digit{digit}] ["E"["+"|"-"]digit{digit}] *)
(* done = true, if a valid real was read				*)
(* At most 7 digits are significant, leading zeros not counting		*)

PROCEDURE WriteReal( x : REAL ; n : INTEGER ) ;
(* Write x using n characters, minimum 9 *)

END RealInOut.
